Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers: 2646 (Lecture Notes in Computer Science)
by Herman Geuvers,Freek Wiedijk
ISBN 13: 9783540140313
Format: Paperback (344 pages) Publisher: Springer Published: 28 Apr 2003
Save for later
The Seventeen Provers of the World: Foreword by Dana S. Scott: 3600 (Lecture Notes in Computer Science)
by Freek Wiedijk,Dana S. Scott
ISBN 13: 9783540307044
Format: Illustrated (180 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008